Frame Theory, Dependence Logic and Strategies

We present a formalization of the Löbner-Barsalou frame theory (LBFT) in Dependence Logic with explicit strategies. In its present formalization, [?], frames are de ned as a particular kind of typed feature structures. On this approach, the semantic value of a lexical item is reduced to its contribution to the truth conditions of sentences in which it occurs. This reduction does neither account for dynamic phenomena nor for results from neuroscience which show that meaning cannot be reduced to truth conditions. In order to overcome these shortcomings, we develop a dynamic frame theory which is based both on Dependence Logic [?] and Dynamic Epistemic Logic ([?]). The semantic phenomenon with respect to which this framework is tested are numerical expressions like `two' or `at least two'. They are interpreted as strategies which change the input information state to which they are applied.